Emmanuelle Encrenaz: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (34)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Automatic Verification of Counter Systems With Ranking Function

Emmanuelle Encrenaz, Alain Finkel

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 491 KB

english, 2009

2

Impact of the 1998 Football World Cup on Suicide Rates in France: Results from the National Death Registry

Gaëlle Encrenaz, Benjamin Contrand, Karen Leffondré, Raphaëlle Queinec, Albertine Aouba, Eric Jougla, Alain Miras, Emmanuel Lagarde

Журнал:

Suicide and Life-Threatening Behavior

Рік:

2012

Мова:

english

Файл:

PDF, 162 KB

english, 2012

3

Inmate-to-inmate violence as a marker of suicide attempt risk during imprisonment

Encrenaz, Gaëlle, Miras, Alain, Contrand, Benjamin, Galera, Cédric, Pujos, Stéphane, Michel, Grégory, Lagarde, Emmanuel

Журнал:

Journal of Forensic and Legal Medicine

Рік:

2014

Мова:

english

Файл:

PDF, 225 KB

english, 2014

4

Side-channel robustness analysis of masked assembly codes using a symbolic approach

Ben El Ouahma, Inès, Meunier, Quentin L., Heydemann, Karine, Encrenaz, Emmanuelle

Журнал:

Journal of Cryptographic Engineering

Рік:

2019

Мова:

english

Файл:

PDF, 484 KB

english, 2019

5

Side-channel robustness analysis of masked assembly codes using a symbolic approach

Ben El Ouahma, Inès, Meunier, Quentin L., Heydemann, Karine, Encrenaz, Emmanuelle

Журнал:

Journal of Cryptographic Engineering

Рік:

2019

Файл:

PDF, 484 KB

2019

6

Phosphorus Chemistry in the Atmosphere of Jupiter: A Reassessment

Sergei Borunov, Vera Dorofeeva, Igor Khodakovsky, Pierre Drossart, Emmanuel Lellouch, Thérèse Encrenaz

Журнал:

Рік:

1995

Файл:

PDF, 266 KB

1995

7

ISO-SWS Observations of Jupiter: Measurement of the Ammonia Tropospheric Profile and of the 15N/14N Isotopic Ratio

Thierry Fouchet, Emmanuel Lellouch, Bruno Bézard, Thérèse Encrenaz, Pierre Drossart, Helmut Feuchtgruber, Thijs de Graauw

Журнал:

Рік:

2000

Мова:

english

Файл:

PDF, 326 KB

english, 2000

8

The structure, stability, and global distribution of Io's atmosphere

Emmanuel Lellouch, Michael Belton, Imke De Pater, Gabriel Paubert, Samuel Gulkis, Thérèse Encrenaz

Журнал:

Рік:

1992

Мова:

english

Файл:

PDF, 2.12 MB

english, 1992

9

Titan's 3-micron spectral region from ISO high-resolution spectroscopy

Athena Coustenis, Alberto Negrão, Alberto Salama, Bernhard Schulz, Emmanuel Lellouch, Pascal Rannou, Pierre Drossart, Thérèse Encrenaz, Bernard Schmitt, Vincent Boudon, Andrei Nikitin

Журнал:

Рік:

2006

Мова:

english

Файл:

PDF, 1.15 MB

english, 2006

10

Time Separation of Events: An Inverse Method

Emmanuelle Encrenaz, Laurent Fribourg

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 315 KB

english, 2008

11

An Inverse Method for Parametric Timed Automata

Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 463 KB

english, 2008

12

CTL-property Transformations along an Incremental Design Process

Cécile Braunstein, Emmanuelle Encrenaz

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2007

Мова:

english

Файл:

PDF, 511 KB

english, 2007

13

Data decision diagrams for Promela systems analysis

Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2010

Мова:

english

Файл:

PDF, 457 KB

english, 2010

14

Timed verification of the generic architecture of

Remy Chevallier, Emmanuelle Encrenaz-Tiphene, Laurent Fribourg, Weiwen Xu

Журнал:

Formal Methods in System Design

Рік:

2009

Мова:

english

Файл:

PDF, 788 KB

english, 2009

15

Feasibility analysis for robustness quantification by symbolic model checking

Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younes

Журнал:

Formal Methods in System Design

Рік:

2011

Мова:

english

Файл:

PDF, 713 KB

english, 2011

16

CTL-Property Transformations Along an Incremental Design Process

Cécile Braunstein, Emmanuelle Encrenaz

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 353 KB

english, 2005

17

Latitudinal variations of CO and OCS in the lower atmosphere of Venus from near-infrared nightside spectro-imaging

Emmanuel Marcq, Bruno Bézard, Thérèse Encrenaz, Mirel Birlan

Журнал:

Рік:

2005

Мова:

english

Файл:

PDF, 781 KB

english, 2005

18

Io's atmosphere from microwave detection of SO2

Lellouch, Emmanuel, Belton, Michael, de Pater, Imke, Gulkis, Samuel, Encrenaz, Thérèse

Журнал:

Рік:

1990

Файл:

PDF, 365 KB

1990

19

Disruptive behaviors and early sexual intercourse: The GAZEL Youth Study

Cédric Galéra, Antoine Messiah, Maria Melchior, Jean-François Chastang, Gaelle Encrenaz, Emmanuel Lagarde, Gregory Michel, Manuel-Pierre Bouvard, Eric Fombonne

Журнал:

Psychiatry Research

Рік:

2010

Мова:

english

Файл:

PDF, 140 KB

english, 2010

20

On the atmospheric origin of weak absorption features in the infrared spectrum of Mars

Encrenaz, Thérèse, Lellouch, Emmanuel

Журнал:

Journal of Geophysical Research

Рік:

1990

Мова:

english

Файл:

PDF, 508 KB

english, 1990

21

[IEEE 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) - Los Alamitos, CA, USA (2013.08.20-2013.08.20)] 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography - Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller

Moro, Nicolas, Dehbaoui, Amine, Heydemann, Karine, Robisson, Bruno, Encrenaz, Emmanuelle

Рік:

2013

Мова:

english

Файл:

PDF, 390 KB

english, 2013

22

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Using CTL formulae as component abstraction in a design and verification flow

Braunstein, Cecile, Braunstein, Cecile, Braunstein, Cecile, Braunstein, Cecile, Encrenaz, Emmanuelle, Encrenaz, Emmanuelle, Encrenaz, Emmanuelle, Encrenaz, Emmanuelle

Рік:

2007

Мова:

english

Файл:

PDF, 186 KB

english, 2007

23

[IEEE 2010 18th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Pisa, Italy (2010.02.17-2010.02.19)] 2010 18th Euromicro Conference on Parallel, Distributed and Network-based Processing - A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks

Taktak, Sami, Encrenaz, Emmanuelle, Desbarbieux, Jean-Lou

Рік:

2010

Мова:

english

Файл:

PDF, 269 KB

english, 2010

24

[IEEE 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) - Arlington, VA, USA (2014.5.6-2014.5.7)] 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) - Experimental evaluation of two software countermeasures against fault attacks

Moro, Nicolas, Heydemann, Karine, Dehbaoui, Amine, Robisson, Bruno, Encrenaz, Emmanuelle

Рік:

2014

Мова:

english

Файл:

PDF, 289 KB

english, 2014

25

[IEEE 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT) - Chicago, Illinois, USA (2009.10.7-2009.10.9)] 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems - Complementary Formal Approaches for Dependability Analysis

Baarir, Souheib, Braunstein, Cécile, Clavel, Renaud, Encrenaz, Emmanuelle, Ilié, Jean-Michel, Leveugle, Régis, Mounier, Isabelle, Pierre, Laurence, Poitrenaud, Denis

Рік:

2009

Мова:

english

Файл:

PDF, 349 KB

english, 2009

26

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip

Taktak, Sami, Encrenaz, Emmanuelle, Desbarbieux, Jean-lou

Рік:

2006

Мова:

english

Файл:

PDF, 8.44 MB

english, 2006

27

AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA

ANDRÉ, ÉTIENNE, CHATAIN, THOMAS, FRIBOURG, LAURENT, ENCRENAZ, EMMANUELLE

Журнал:

International Journal of Foundations of Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 344 KB

english, 2009

28

[IEEE 2014 International Symposium on Rapid System Prototyping (RSP) - New Delhi, India (2014.10.16-2014.10.17)] 2014 25nd IEEE International Symposium on Rapid System Prototyping - FSM-based properties and abstraction of components

Syed Alwi, Syed Hussein, Encrenaz, Emmanuelle

Рік:

2014

Мова:

english

Файл:

PDF, 4.78 MB

english, 2014

29

A tool for automatic detection of deadlock in wormhole networks on chip

Taktak, Sami, Desbarbieux, Jean-Lou, Encrenaz, Emmanuelle

Журнал:

ACM Transactions on Design Automation of Electronic Systems

Рік:

2008

Мова:

english

Файл:

PDF, 283 KB

english, 2008

30

[IEEE 2014 15th International Microprocessor Test and Verification Workshop (MTV) - Austin, TX, USA (2014.12.15-2014.12.16)] 2014 15th International Microprocessor Test and Verification Workshop - Mutation Based Feature Localization

Malburg, Jan, Encrenaz-Tiphene, Emmanuelle, Fey, Gorschwin

Рік:

2014

Мова:

english

Файл:

PDF, 216 KB

english, 2014

31

MIRO observations of subsurface temperatures of the nucleus of 67P/Churyumov-Gerasimenko

Schloerb, F. Peter, Keihm, Stephen, von Allmen, Paul, Choukroun, Mathieu, Lellouch, Emmanuel, Leyrat, Cedric, Beaudin, Gerard, Biver, Nicolas, Bockelée-Morvan, Dominique, Crovisier, Jacques, Encrenaz,

Журнал:

Astronomy and Astrophysics

Рік:

2015

Мова:

english

Файл:

PDF, 4.20 MB

english, 2015

32

Mapping of Jupiter’s tropospheric NH 3 abundance using ground-based IRTF/TEXES observations at 5 µm

Blain, Doriann, Fouchet, Thierry, Greathouse, Thomas, Encrenaz, Thérèse, Charnay, Benjamin, Bézard, Bruno, Li, Cheng, Lellouch, Emmanuel, Orton, Glenn, N. Fletcher, Leigh, Drossart, Pierre

Журнал:

Рік:

2018

Мова:

english

Файл:

PDF, 13.87 MB

english, 2018

33

Climatology of SO2 and UV absorber at Venus’ cloud top from SPICAV-UV nadir dataset

Marcq, Emmanuel, Lea Jessup, Kandis, Baggio, Lucio, Encrenaz, Thérèse, Joo Lee, Yeon, Montmessin, Franck, Belyaev, Denis, Korablev, Oleg, Bertaux, Jean-Loup

Журнал:

Рік:

2019

Мова:

english

Файл:

PDF, 11.18 MB

english, 2019

34

Unique Spectroscopy and Imaging of Mars with the James Webb Space Telescope

Villanueva, Gerónimo L., Altieri, Francesca, Clancy, R. Todd, Encrenaz, Therese, Fouchet, Thierry, Hartogh, Paul, Lellouch, Emmanuel, Lopéz-Valverde, Miguel A., Mumma, Michael J., Novak, Robert E., Sm

Журнал:

Publications of the Astronomical Society of the Pacific

Рік:

2016

Мова:

english

Файл:

PDF, 3.39 MB

english, 2016